1. Decision procedures : an algorithmic point of view
پدیدآورنده : Kroening, Daniel
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
رده :
QA
279
.
4
.
K76D4
2016
